Data structures

Results: 1048



#Item
71

BI as an Assertion Language for Mutable Data Structures Samin Ishtiaq Peter W. O’Hearn Queen Mary & Westfield College, London

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

- Date: 2015-05-26 06:01:52
    72

    Computability and Complexity Results for a Spatial Assertion Language for Data Structures Cristiano Calcagno1,2 , Hongseok Yang3 , and Peter W. O’Hearn1 1 Queen Mary, University of London

    Add to Reading List

    Source URL: www.lsv.ens-cachan.fr

    - Date: 2014-02-28 18:10:36
      73

      6.851: Advanced Data Structures Spring 2007 Lecture 11 — March 19, 2007 Oren Weimann

      Add to Reading List

      Source URL: courses.csail.mit.edu

      - Date: 2007-03-19 23:59:26
        74

        Introduction to ML Mooly Sagiv Cornell CS 3110 Data Structures and Functional Programming The ML Programming Language

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2015-05-05 04:40:37
          75

          3rd International Conference on Data Structures and Data Mining August 17-18, 2017 Toronto, Canada CPD Standards Factsheet A Guide to Your CPD Accreditation: CPD accreditation and Conference Series LLC

          Add to Reading List

          Source URL: datamining.conferenceseries.com

          - Date: 2016-10-25 09:29:11
            76

            Object-Oriented Data Structures Using Java, Fourth Edition Transition Guide By Nell Dale • Daniel T. Joyce • Chip Weems ISBN-13: Hardcover with Navigate 2 Advantage Access

            Add to Reading List

            Source URL: samples.jbpub.com

            - Date: 2016-08-12 08:08:17
              77

              Transactional Memory: Architectural Support for Lock-Free Data Structures J. Eliot B. Moss

              Add to Reading List

              Source URL: ocw.mit.edu

              - Date: 2016-09-19 00:45:39
                78

                Introduction to ML Mooly Sagiv Cornell CS 3110 Data Structures and Functional Programming Typed Lambda Calculus

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2016-12-09 12:39:44
                  79

                  6 Type Systems, Type Inference, and Polymorphism Programming involves a wide range of computational constructs, such as data structures, functions, objects, communication channels, and threads of control. Because program

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2012-05-01 06:50:28
                    UPDATE